Little Theories
نویسندگان
چکیده
In the “little theories” version of the axiomatic method, different portions of mathematics are developed in various different formal axiomatic theories. Axiomatic theories may be related by inclusion or by theory interpretation. We argue that the little theories approach is a desirable way to formalize mathematics, and we describe how imps, an Interactive Mathematical Proof System, supports it.
منابع مشابه
Finite difference method for sixth-order derivatives of differential equations in buckling of nanoplates due to coupled surface energy and non-local elasticity theories
In this article, finite difference method (FDM) is used to solve sixth-order derivatives of differential equations in buckling analysis of nanoplates due to coupled surface energy and non-local elasticity theories. The uniform temperature change is used to study thermal effect. The small scale and surface energy effects are added into the governing equations using Eringen’s non-local elasticity...
متن کاملTopics in Little Higgs Physics
The Standard Model is the currently accepted model of elementary particle interactions as determined by many years of particle physics experiments. It is both highly predictive and successful in its predictions, which is one of the great achievements of the last half century of science. However, there are indications that the Standard Model is incomplete with the main evidence being the so call...
متن کاملFinite difference method for sixth-order derivatives of differential equations in buckling of nanoplates due to coupled surface energy and non-local elasticity theories
In this article, finite difference method (FDM) is used to solve sixth-order derivatives of differential equations in buckling analysis of nanoplates due to coupled surface energy and non-local elasticity theories. The uniform temperature change is used to study thermal effect. The small scale and surface energy effects are added into the governing equations using Eringen’s non-local elasticity...
متن کاملBuilding Theories in Software Engineering
In mature sciences, building theories is the principal method of acquiring and accumulating knowledge that may be used in a wide range of settings. In software engineering, there is relatively little focus on theories. In particular, there is little use and development of empirically-based theories. We propose, and illustrate with examples, an initial framework for describing software engineeri...
متن کاملUniversality class of little string theories
We propose that little string theories in six dimensions are quasilocal quantum field theories. Such field theories obey a modification of Wightman axioms which allows Wightman functions ~i.e. vacuum expectation values of products of fundamental fields! to grow exponentially in momentum space. Wightman functions of quasilocal fields in x-space violate microlocality at short distances. With addi...
متن کامل